Nuprl Definition : eclrepeat
11,40
postcript
pdf
eclrepeat(
a
) == inr inr inr inr (inl
a
)
latex
Definitions
inr
x
,
inl
x
FDL editor aliases
eclrepeat, eclrepeat
origin